https://dasbestelexikon.de/la/wiki/Logica_propositionalis